نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۷,۰۰ ثانیه یافت شد.
1. The Semantics and Proof Theory of the Logic of Bunched Implications
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
by David J. Pym.
کتابخانه:
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
(
قم
)
موضوع :
Computer science.,Logic.,Philosophy (General).
رده :
2. The semantics and proof theory of the logic of bunched implications
پدیدآورنده :
By David J. Pym
موضوع :
Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
»
1
«
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد